\subsection{Conclusion}
\begin{frame}{Conclusion}
\begin{itemize}
\item We have proposed and implemented a technique to generate SQL Test Cases from SQL code with existential subqueries
\item We have proved the soundness and correctness of our proposal with respect to an SQL Operational Semantic that extends the Extended Relational Algebra
\end{itemize}
\end{frame}
\subsection{Future Work}
\begin{frame}{Future Work}
  Theory:
    \begin{itemize}
    \item Include \textbf{NULL values} as a possible value for row's attributes
    \item Extend the proposal for \textbf{new data types} as \textsf{VARCHAR} (i.e. strings)
    \item Automatic detection of Test-Cases' minimum size (number of rows for the tables). 
    \end{itemize}
  Implementation:
    \begin{itemize}
    \item Support aggregates (\cod{GROUP BY}) in the prototype
    \end{itemize}
\end{frame}
\begin{frame}
\titlepage

\begin{center}

{\Huge Thanks!\\}
Prototype available at \textbf{http://gpd.sip.ucm.es/trac/gpd/wiki/GpdSystems/STCG\\}

\end{center}
\end{frame}